proofreader's marks - German English Dictionary